Measurable function

In mathematics, particularly in measure theory, measurable functions are structure-preserving functions between measurable spaces; as such, they form a natural context for the theory of integration. Specifically, a function between measurable spaces is said to be measurable if the preimage of each measurable set is measurable, analogous to the situation of continuous functions between topological spaces.

This definition can be deceptively simple, however, as special care must be taken regarding the \sigma-algebras involved. In particular, when a function f�: \mathbb{R} \rightarrow \mathbb{R} is said to be Lebesgue measurable what is actually meant is that f�: (\mathbb{R}, \mathcal{L}) \rightarrow (\mathbb{R}, \mathcal{B}) is a measurable function—that is, the domain and range represent different \sigma-algebras on the same underlying set (here \mathcal{L} is the sigma algebra of Lebesgue measurable sets, and \mathcal{B} is the Borel algebra on \mathbb{R}). As a result, the composition of Lebesgue-measurable functions need not be Lebesgue-measurable.

By convention a topological space is assumed to be equipped with the Borel algebra generated by its open subsets unless otherwise specified. Most commonly this space will be the real or complex numbers. For instance, a real-valued measurable function is a function for which the preimage of each Borel set is measurable. A complex-valued measurable function is defined analogously. In practice, some authors use measurable functions to refer only to real-valued measurable functions with respect to the Borel algebra.[1] If the values of the function lie in an infinite-dimensional vector space instead of R or C, usually other definitions of measurability are used, such as weak measurability and Bochner measurability.

In probability theory, the sigma algebra often represents the set of available information, and a function (in this context a random variable) is measurable if and only if it represents an outcome that is knowable based on the available information. In contrast, functions that are not Lebesgue measurable are generally considered pathological, at least in the field of analysis.

Contents

Formal definition

Let (X, \Sigma) and (Y, \Tau) be measurable spaces, meaning that X and Y are sets equipped with respective sigma algebras \Sigma and \Tau. A function

f: X \to Y

is said to be measurable if f^{-1}(E)\in \Sigma for every E\in\Tau. The notion of measurability depends on the sigma algebras \Sigma and \Tau. To emphasize this dependency, if f�: X\to Y is a measurable function, we will write

f: (X,\Sigma)\to (Y,\Tau).

Special measurable functions

Properties of measurable functions

Non-measurable functions

Real-valued functions encountered in applications tend to be measurable; however, it is not difficult to find non-measurable functions.

1_A(x) = \begin{cases}
1 & \text{ if } x \in A \\
0 & \text{ otherwise}
\end{cases}

See also

Notes

  1. ^ a b c d Strichartz, Robert (2000). The Way of Analysis. Jones and Bartlett. ISBN 0-7637-1497-6. 
  2. ^ Folland, Gerald B. (1999). Real Analysis: Modern Techniques and their Applications. Wiley. ISBN 0471317160. 
  3. ^ Royden, H. L. (1988). Real Analysis. Prentice Hall. ISBN 0-02-404151-3. 
  4. ^ Dudley, R. M. (2002). Real Analysis and Probability (2 ed.). Cambridge University Press. ISBN 0521007542.